Type-Driven Development with Idris

idris-mode: Idris interaction with emacs

This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development environment for Idris programs in emacs. The goal of the ideslave mode is to provide from Idris a structured input and output command processor, which supports all features available in the command line version of the Idris compiler.

Type-driven Development of Concurrent Communicating Systems

Modern software systems rely on communication, for example mobile applications communicating with a central server, distributed systems coordinating a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent programs is hard, since we must reason about each process and the order in which communication might hap...

the past hospitalization and its association with suicide attempts and ideation in patients with mdd and comparison with bmd (depressed type) group

چکیده ندارد.

Modeling with Enriched Model Driven Architecture Model Driven Development Modeling with Enriched Model Driven Architecture

ion of GeoDatabases Modeling and Multiple Perceptions CHRISTINE PARENT1, STEFANO SPACCAPIETRA2, ESTEBAN ZIMÁNYI3 1 University of Lausanne, Lausanne, Switzerland 2 Swiss Federal Institute of Technology, Lausanne, Switzerland 3 Free University of Brussels, Brussels, Belgium

Demand-Driven Type Inference with Subgoal Pruning